-
1 intuitionistically derivable
Математика: интуиционистски выводимыйУниверсальный англо-русский словарь > intuitionistically derivable
-
2 intuitionistically derivable
English-Russian scientific dictionary > intuitionistically derivable
-
3 intuitionistically derivable formula
Математика: интуиционистски выводимая формулаУниверсальный англо-русский словарь > intuitionistically derivable formula
-
4 intuitionistically derivable formula
English-Russian scientific dictionary > intuitionistically derivable formula
-
5 derivable
-
6 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
7 интуиционистски выводимый
Большой англо-русский и русско-английский словарь > интуиционистски выводимый
См. также в других словарях:
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
Markov's principle — Markov s principle, named after Andrey Markov Jr, is a classical tautology that is not intuitionistically valid but that may be justified by constructive means. There are many equivalent formulations of Markov s principle. Contents 1 Statements… … Wikipedia